real completion

[数] 实完备化